%--
\chapter{分布式协议的模型检验}

主要以TLA+规约与模型检验为例。


%--
\chapter{分布式系统实现的模型检验}

\myleaf \cite{Guo11}。